Search results for "Abstract machine"
showing 5 items of 5 documents
Object-Oriented Operational Semantics
2016
Operational semantics is one way of providing meaning to an executable language. On a high level of abstraction, operational semantics means to define an interpreter or an abstract machine for the language. In this article, we review the concept of operational semantics in the scope of meta-model-based language definitions and identify challenges and issues. We provide a clean conceptual approach using an object-oriented runtime environment and state change operations, which relies on an underlying abstract virtual machine. We present the approach using a sample language.
On the relative sizes of learnable sets
1998
Abstract Measure and category (or rather, their recursion-theoretical counterparts) have been used in theoretical computer science to make precise the intuitive notion “for most of the recursive sets”. We use the notions of effective measure and category to discuss the relative sizes of inferrible sets, and their complements. We find that inferable sets become large rather quickly in the standard hierarchies of learnability. On the other hand, the complements of the learnable sets are all large.
Simulating Machines: Modelling, Metaphysics and the Mechanosphere
2020
This article explores some of the ways in which the conceptual apparatus of A Thousand Plateaus, and especially its machinic metaphysics, can be connected to recent developments in computer modelling and social simulation, which provide new tools for thinking that are becoming increasingly popular among philosophers and social scientists. Conversely, the successful deployment of these tools provides warrant for the flat ontology articulated in A Thousand Plateaus and therefore contributes to the ‘reversal of Platonism’ for which Deleuze had called in his earlier works, such as Logic of Sense. The first major section offers a brief exposition of some key concepts in A Thousand Plateaus in or…
Application of machine-vision techniques to fish-quality assessment
2012
Abstract Machine vision is a non-destructive, rapid, economic, consistent and objective inspection tool and is also an evaluation technique based on image analysis and processing with a variety of applications. We review the use of machine vision and imaging technologies for fish-quality assessment. This review updates and condenses a representative selection of recent research and industrial solutions proposed in order to evaluate the general trends of machine vision and image processing in the visible range applied for inspection of fish and fish products. In order to determine freshness and composition, it is necessary to measure and to evaluate size and volume, to estimate weight, to me…
M-VIF: A machine-vision based on information fusion
2002
The authors describe a new architecture for machine vision, which is based on information fusion approach. Its general design has been developed by using a formal computation model that integrates three main ingredients of the visual computation: the data, the models, and the algorithms. The hardware design and the software environment of M-VIF are also given. The simulation of M-VIF is under development on the HERMIA-machine.